$\forall$$a$,$b$,$c$:rationals. qless($a$; $b$) $\Rightarrow$ qle($b$; $c$) $\Rightarrow$ qless($a$; $c$)